Formalizing a Switch of Burden of Proof by Logic Programming

Prakken [2] argues that we cannot formalize a switch of burden of proof in legal reasoning either by argumentation framework or by nonmonotonic reasoning since argumentation semantics can represent any nonmonotonic formalism. In this paper, we argue that a switch of burden of proof can be formalized in nonmonotonic reasoning by formalizing burden of proof in a different way followed by the Japanese civil procedure law.